Nesta página você pode obter uma análise detalhada de uma palavra ou frase, produzida usando a melhor tecnologia de inteligência artificial até o momento:
Na lógica matemática, um sistema lógico possui a propriedade da correção se e somente se suas regras de inferências demonstram somente fórmulas que são válidas do ponto de vista de sua semântica. Geralmente, esta propriedade consiste na preservação da verdade por parte das regras do sistema.